Axiomatization of General Concept Inclusions from Streams of Interpretations with Optional Error Tolerance
نویسنده
چکیده
We propose applications that utilize the infimum and the supremum of closure operators that are induced by structures occuring in the field of Description Logics. More specifically, we consider the closure operators induced by interpretations as well as closure operators induced by TBoxes, and show how we can learn GCIs from streams of interpretations, and how an error-tolerant axiomatization of GCIs from an interpretation guided by a hand-crafted TBox can be achieved.
منابع مشابه
Axiomatization of General Concept Inclusions in Probabilistic Description Logics
Probabilistic interpretations consist of a set of interpretations with a shared domain and a measure assigning a probability to each interpretation. Such structures can be obtained as results of repeated experiments, e.g., in biology, psychology, medicine, etc. A translation between probabilistic and crisp description logics is introduced, and then utilized to reduce the construction of a base ...
متن کاملTowards an Error-Tolerant Construction of ELK-Ontologies from Data using Formal Concept Analysis
In the work of Baader and Distel, a method has been proposed to axiomatize all general concept inclusions (GCIs) expressible in the description logic ELK and valid in a given interpretation I. This provides us with an effective method to learn ELK-ontologies from interpretations. In this work, we want to extend this approach in the direction of handling errors, which might be present in the dat...
متن کاملLearning General Concept Inclusions in Probabilistic Description Logics
Probabilistic interpretations consist of a set of interpretations with a shared domain and a measure assigning a probability to each interpretation. Such structures can be obtained as results of repeated experiments, e.g., in biology, psychology, medicine, etc. A translation between probabilistic and crisp description logics is introduced and then utilised to reduce the construction of a base o...
متن کاملModel Exploration by Confidence with Completely Specified Counterexamples
We present an extensions of our previous work on axiomatizing confident general concept inclusions in given finite interpretations. Within this extension we allow external experts to interactively provide counterexamples to general concept inclusions with otherwise enough confidence in the given data. This extensions allows us to distinguish between erroneous counterexamples in the data and rar...
متن کاملA SYSTEM OF GENERALIZED VARIATIONAL INCLUSIONS INVOLVING G-eta-MONOTONE MAPPINGS
We introduce a new concept of general $G$-$eta$-monotone operator generalizing the general $(H,eta)$-monotone operator cite{arvar2, arvar1}, general $H-$ monotone operator cite{xiahuang} in Banach spaces, and also generalizing $G$-$eta$-monotone operator cite{zhang}, $(A, eta)$-monotone operator cite{verma2}, $A$-monotone operator cite{verma0}, $(H, eta)$-monotone operator cite{fanghuang}...
متن کامل